Model Theoretic Syntax and Parsing

Parsing Complexity and Model-Theoretic Syntax

As a primarily declarative approach, model theoretic syntax focuses the manner we formalize and describe the syntax of natural languages. However, in practice, we often make the experience that such formalisms suffer from excessive complexity. Depending on the underlying logical formalism, the complexity of proving the validity or satisfiability of a given (set of) formula(e) is typically EXPTI...

Model Theoretic Syntax and Parsing: An Application to Temporal Logic

In general, model-theoretic approaches to syntax aim to describe the syntactic structures of natural languages by means of logical formulae so that the structures are models of these formulae. However, in practice, the use of such descriptions for processing issues involves so much complexity, that they appear to be more or less useless for such tasks. We present a simple formalism, which is ba...

Model Theoretic Syntax, Parsing: An Application to Temporal Logic

In general, model-theoretic approaches to syntax aim to describe the syntactic structures of natural languages by means of logical formulae so that the structures are models of these formulae. However, in practice, the use of such descriptions for processing issues involves so much complexity, that they appear to be more or less useless for such tasks. We present a simple formalism, which is ba...

Model Theoretic Syntax

Processing Optimality-theoretic Syntax by Interleaved Chart Parsing and Generation